Appia - Gulp - Prode

APPIA - GULP - PRODE 20001 Introdu

Source-to-Source Transformation for a Class of Expressive Rules

Modular Abstract Diagnosis

Modular abstract diagnosis shows that the abstract diagnosis method [5] does not need to be extended to perform the diagnosis in a modular way. We can verify and debug incomplete programs, once we have the specifications for the missing program components.

Reasoning about Concurrent Actions and Observations

Let OBS be a set of observations, we write OBS to denote its translation into abductive logic programs. OBS consists of a set of logic programming rules P OBS and a set of integrity constraints IC OBS , which are deened as follows:

An Approach to Infinite Terms Traversal in DCGs

This paper describes a practical approach for detecting, traversing and representing cyclic terms in deenite clause grammars. Our goal is to make a wider range of this formalism executable, without overload for non-cyclic structures. Unlike preceding approaches, our proposal avoids backtracking and changing of values in variables, increasing computational eeciency in a dynamic programming frame...